<!DOCTYPE html>
<html>
<head></head>
<body>
	<script type="text/javascript" src="./devtools.js"></script>
</body>
</html>